A mathematical model of motor protein mechanics in muscle contraction.