Approximation Algorithms And Mechanism Design For Power Systems