mining of coal mining operations equipment