What state's law requires that capital punishment occur "within the walls" of a penitentiary?