A multi-mode resource-constrained project scheduling reformulation for the waterway ship scheduling problem · Study