News Corp would have lost $9 million in 2017 by ditching Google ads, ex-exec testifies