equipment used in mining coal