Real Time Congestion Management Using Generation Re-Dispatch: Modeling and Controller Design