Mathematical Modeling and Validation in Physiology