Backend for push notification (Android/universal mobile application)