Cyber-Financial Contagion: Modeling the Propagation of an AI Vendor Compromise Through the Banking System