เครื่องไม้เครื่องมือที่ใช้ในการขุดถ่านหิน