Plans, elevations, sections and views of the church of Batalha in the Province of Estremadura in Portugal