Biblioteca del Real Monasterio de El Escorial