Human-in-the-Loop Digital Twin Modeling for Smart Civil Infrastructure Operation and Maintenance | Synapse