equipment coal miners would use