Model-based control of FES embedding simultaneous voluntary user effort