A welfare-theoretic model consistent with the practice of cost-effectiveness analysis and its implications