Lifted and local reachability cuts for the vehicle routing problem with time windows