Mantenedor mecánico y operador de equipos lideran demanda de capital humano en minería