A numerical model of the vertical circulation of tidal strait and its application to the Messina Strait