Vojenská intervence