Why victory for Google's AlphaGo means big things for AI