DocumentDB: Database-as-a-Service for MongoDB Developers