The Economic Benefits of Lifting the US Crude Oil Export Ban: A Retrospective Analysis