Tighter MIP models for Barge Container Ship Routing. (January 2019)