A solution methodology for carpooling systems based on double auctions and cooperative coevolutionary particle swarms.