PHP Backend for sending Push notifications through GCM