The restoration of the Rocca Pia in Tivoli: from a prison to the Museo della città