sand mine workers