Election tech: How political campaigns use data and AI