Cartografía de la montaña hueca: notas sobre los planos históricos de la catedral de Sevilla