Android Push Notifications using Google Cloud Messaging (GCM), PHP and MySQL