RE-SAT: Spatial-Aware Transformers with Semantic-Guided Prompting for Urban Region Embedding | Synapse