Expected utility and decision theory