Service Level Management in Cloud Computing: Pareto-Efficient Negotiations, Reliable Monitoring, and Robust Monitor Placement