A group of leading tech companies is teaming up with two teachers' unions to train 400,000 kindergarten through 12th-grade teachers in artificial intelligence over the next five years.