militaire interventie