A utility-theoretic model for QALYs and willingness to pay.