Leg immersion in warm water, stretch-shortening exercise, and exercise-induced muscle damage.