A procurement market to allocate cloud providers' residual computing capacity