Google AI defeats human go champion