download introduction to mining by hartman pdf