Exact algorithms for the chance-constrained vehicle routing problem