20170706 city.pune: Cops bust gang of highway robbers with arrest of 9