An exact algorithm for combining vehicle trips