how much did google buy deepmind for