estación del horcajo, MINAS DE HORCAJO