qué hace un minero