Reachability cuts for the vehicle routing problem with time windows