how do coal mines track miners