Information Markets for Multi-Robot Navigation Under Uncertainty