what do coal miners tool