list of machinery used in open cast coal mining