Deep dredge-up in intermediate-mass thermally pulsing asymptotic giant branch stars