Scaling Mathematical Proof Supervision from Structured Textbooks