Militaire interventie