Weatherman: Automated, Online and Predictive Thermal Mapping and Management for Data Centers