Modeling and simulation of liquefied natural gas ship propulsion.