Support for long-haul oil transportation vessel scheduling at Petrobras