Mathematical modeling of cellular thioredoxin redox states and cellular signaling