Accounting for distributive justice in Integrated Assessment Models