Vista general Basílica del Escorial, SAN LORENZO DE EL ESCORIAL