Artificial intelligence is infiltrating ad tech