How are push notifications sent to a user's multiple devices?