Mining: A Solvable Crisis?