equipment used for mining coal