what industry is the seventh largest city involved in ?
mining