Warm Air Helped Make 2017 Ozone Hole Smallest Since 1988