Statistics for Do Humans Optimally Exploit Redundancy to Control Step Variability in Walking?