With all the self-hosted options, how do mobile push notifications work?