ATP production and mechanical work in exercising skeletal muscle: A theoretical analysis applied to 31P magnetic resonance spectroscopic studies of dialyzed uremic patients