A queuing approach to model power and performance trade-off with maintenance overhead of an infrastructure-as-a-service cloud. (2017)