Lifted and Local Reachability Cuts for the Vehicle Routing Problem with Time Windows