Modelo de otimização para tratores de reboque elétricos considerando coalizão de operadores | Synapse