Google digs deep into its pockets to buy DeepMind