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