How Humans Learn to Think Mathematically: Expert Thinking and Structure Theorems