Intervenção militar