Evolutionary and revolutionary technologies for mining [electronic resource] / Committee on Technologies for the Mining Industries, National Materials Advisory Board, Board on Earth Sciences and Resources, Committee on Earth Resources, National Research Council.