Mina de São Domingos, Planta da lavra a céu aberto e edifícios