Thinking with Images for Multimodal Reasoning: Foundations, Methods, and Future Frontiers