Two non-linear finite element models developed for the assessment of failure of masonry arches | Synapse