Thermally Destratifying Lakes Against Blue Algae With Rising Air Bubbles