Four takeaways from AlphaGo's victory over a world champion Go player