machinery used in mining coal