A Differentially Private Energy Trading Mechanism Approaching Social Optimum | Arena Library | Arena