The AI data startup has offered $12.5 million for Spirit Airlines’ corporate records, challenging Google as buyers seek fresh training material in failed companies’ emails and code.