An Approximation Algorithm for Minimizing the Cloud Carbon Footprint through Workload Scheduling