Constraints on Himalayan deformation inferred from vertical velocity fields in Nepal and Tibet