Automated Checking of Highway Bridge BIM Models Based on Large Language Models | Synapse