A text-book of ore and stone mining ..