High-Level Power Analysis and Optimization