Modeling of ultrasonic velocity and attenuation for concrete inspection: a review | Synapse