The fortress city of Trento: the use and current re-use of military structures