Mining. An elementary treatise on the getting of minerals.