High-Rise Building Area Extraction Based on Prior-Embedded Dual-Branch Neural Network | Synapse