Mechanical work rate minimization and freely chosen stride frequency of human walking : a mathematical model