Evaluation of different computational modelling strategies of a masonry vault with buttresses and backfill