Otimização de tripulações em ônibus urbano: um método híbrido utilizando programação com restrições e algoritmos genéticos