Mesos: A Platform for Fine-Grained Resource Sharing in the Data Center