Receiving alerts via push notifications