Revisiting the problem of the Gulf Stream separation: on the representation of topography in ocean models with different types of vertical grids