Automated optimization-based generation and quantitative evaluation of Strut-and-Tie models