New compact integer programming formulations for the multi-trip vehicle routing problem with time windows