¿Dónde trabajan los instaladores de pernos en techos, minería?