Real-time cross-platform push notification service