What is the maximum heat of the air bled from the engines to the wings for de-icing? Given that the air may be too hot, how is it cooled?