Intervenció militar