A CP-Net based Qualitative Composition Approach for an IaaS Provider