A “Vertically Lagrangian” Finite-Volume Dynamical Core for Global Models | Synapse