The phase shift between potential and kinetic energy in human walking