Formulations and branch-and-cut algorithms for multi-product multi-vehicle production routing problems with startup cost. (15th May 2018)