what makes the royal library of el escorial special