A strategy-proof privacy-preserving double auction mechanism for electrical vehicles demand response in microgrids.