THE AMERICAN INSTITUTE OF MINING-ENGINEERS.