puente de la via estrecha (el valle del escorial), MINAS DE HORCAJO