machine to lift rocks in mining