Text this: SAR Image Simulation for Crater Terrain Using Formation Theory-Based Modeling and Hybrid Ray-Tracing