Thrust network analysis: design of a cut-stone masonry vault