Optimization Of Power System Operation: Approximations, Relaxations, And Decomposition