Security-by-design in Clouds: A Security-SLA Driven Methodology to Build Secure Cloud Applications