An Axiomatization of Cumulative Prospect Theory for Decision Under Risk