Rostec chief: Russia built up weaponry export to $13.4 bln in 2017, in spite of sanctions