Upper bound sequential linear programming mesh adaptation scheme for collapse analysis of masonry vaults