Automation keeps Spotify’s ad business growing year over year.