Formulations for an inventory routing problem