TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding