penal code meaning