The Computation and Comparison of Value in Goal-directed Choice