Mina de S. Domingos: um caso de tipologia industrial mineira