The Case for Bio-jet Fuel from Bioethanol in Brazil: An Optimization-based Analysis Using Historical Market Data | Synapse