Transformer-Model-Based Automatic Aquifer Generalization Using Borehole Logs: A Case Study in a Mining Area in Xingtai, Hebei Province, China | Synapse