From Touchdowns to Algorithms: How AI is Used in the NFL