workers doing mine work