Experimental evaluation of mixed integer programming models for the Multi-Port Master Bay Plan Problem