A 32-year-old woman presents with fatigue, cold intolerance, weight gain, and constipation.Which diagnosis is most likely?