How would you architect a real-time notification service to alert Cox Automotive dealers when a specific vehicle model arrives at auction?