Title: A textbook of ore and stone mining