Spain, San Lorenzo de El Escorial, Real Monasterio de San Lorenzo de El Escorial