Seismic risk assessment of the city of Messina (Italy) based on a logic tree approach