Computational characterization of human sequential decision making under uncertainty