when was the royal library of el escorial built