A voyage optimization model of LNG carriers considering boil-off gas | IEEE Conference Publication | IEEE Xplore