Getui, a Beijing-based third-party push notification service provider.