An exact algorithm for the multi-trip vehicle routing problem with time windows and multi-skilled manpower