How push notifications work.