Isolation and characterization of human thioredoxin-encoding genes