Dynamic Model Formulation and Calibration for Wheeled Mobile Robots