A combination of terrestrial laser-scanning point clouds and the thrust network analysis approach for structural modelling of masonry vaults