machine to lift rocks in mining dec