Energetics of running in top-level marathon runners from Kenya.