Armia (związek operacyjny)