equipments used in in open pit coal mining