AWS pricing team turns 18-tab Excel model into an AI chatbot to evaluate customer deals, CFO says