Discussion on decentralized ancillary service trading based on insurance theory