Droit pénal militaire, justice militaire