Theoretical analysis of oxygen supply to contracted skeletal muscle.