Algebraic Power Analysis by Abstract Interpretation