equipment used in open coal mining