Automated Software Power Optimization for Smart Card Systems with Focus on Peak Reduction