Consistent badge numbers in push notifications for clients with multiple sessions