Thermal aware server provisioning and workload distribution for internet data centers