Constrained Lagrangian-based, non-holonomic modeling and validation of a pneumatically-actuated wheeled soft robot | Synapse