CircuitSeer: Mining High-Quality Data by Probing Mathematical Reasoning Circuits in LLMs