A Numerical Model of the Vertical Circulation of Tidal Estuaries and its Application to the Rotterdam Waterway