Machine-Learning-Based Probabilistic Model and Design-Oriented Formula of Shear Strength Capacity of UHPC Beams | Synapse