How a Yale AI-cheating dispute became a 13-count federal lawsuit