Double Auction With Hidden User Information: Application to Energy Transaction in Microgrid · Study