Analysis of masonry vaults through simplified micro-models