Approaching Prosumer Social Optimum via Energy Sharing With Proof of Convergence