Android notification: using devicetoken