Progress and obstacles in the use of artificial intelligence in civil engineering: An in-depth review | Synapse