How is a multi-device situation handled in push notifications?