Codi penal militar