Gothic vaults of the abandoned convent of San Antonio de Padua, Garrovillas, Caceres, Extremadura, Spain