The energetics of split-belt walking