list of machines used in open pit coal mining