Gravar e-mail: Theoretical formalism for kinesin motility I. Bead movement powered by single one-headed kinesins.