Aggregation of Diverse Information with Double Auction Trading among Minimally-Intelligent Algorithmic Agents