Programação Inteira Binária por Branch and Bound para rebalanceamento de linhas de montagem em ambiente de mix de modelos de produtos: Um estudo de caso em uma empresa da indústria automobilística. Documento