el valle del escorial por el horcajo, MINAS DE HORCAJO