Computation of consumer surplus in RUM