How would you architect a notification service that sends millions of push notifications daily for Mercari?