Use of optimal control theory to optimize carbon dioxide miscible-flooding enhanced oil recovery