Push notification handling infrastructure