Pekerja pertambangan (orang)