The Mechanization of Mining.