Uma implementação do MIller-Tucker-Zemlin original usando o pacote cplex.