Discrete and coordinated encoding of punishment contingent on rewarded actions by prefrontal cortex and VTA