Bi-level Optimization Algorithm for Dynamic Reversible Lane Control based on Short-term Traffic Flow Prediction