A revised formulation, library and heuristic for a chemical tanker scheduling problem. (September 2021)