Describe how you would use Azure Service Bus and Redis to build a highly available, event-driven system at NDA.