Роботеатр и робофутбол: российские школьники победили на Международной олимпиаде по робототехнике