MINAS DE HORCAJO: poblacion