A procurement auction market to trade residual Cloud computing capacity