Protecting historic buildings from rock falls in Ticino, Switzerland