A finite-element scheme for the vertical descretization in the semi-Lagrangian version of the ECMWF model