Mesos: Flexible Resource Sharing for the Cloud