book mining engineers handbook volume 1