Juan de Herrera. Monasterio de El Escorial