A Model-Based Scalability Optimization Methodology for Cloud Applications