Configuring and Using Ensemble Push Notifications