Formal models of differential framing effects in decision making under risk