mining engineers handbook by peele