Seismic assessment of masonry cross vaults through non-linear static analyses