Artificial intelligence in formal education and lifelong learning