Toy giant's first big AI push comes from its Lego Education arm.