A software tool for the semi-automatic segmentation of architectural 3D models with semantic annotation and Web fruition