Markov decision process for multi-manned mixed-model assembly lines with walking workers