El Escorial panteón de los reyes de España, SAN LORENZO DE EL ESCORIAL