An analytical probability distribution model for extreme bridge traffic load effects based on WIM data and extreme value theory | Synapse