Privacy-Preserving and Approximately Truthful Local Electricity Markets: A Differentially Private VCG Mechanism | IEEE Journals & Magazine | IEEE Xplore