Does an app have to be developed to participate in push notifications?