從事礦物開採的工人。