Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes