Skywriting on CIEL: Programming the Data Center