A bartering double auction resource allocation model in cloud environments. (11th April 2022)