The Escorial : a historical and descriptive account of the Spanish royal palace, monastery and mausoleum