How Python made it big at Microsoft