Constrained problem formulations for power optimization of aircraft electro-thermal anti-icing systems