Human walking model predicts joint mechanics, electromyography and mechanical economy | IEEE Conference Publication | IEEE Xplore