Elasticity Programming in Cloud Systems