The acquisition adds another AI-based platform into Reddit’s ad targeting process.