JCLedger: A Blockchain Based Distributed Ledger for JointCloud Computing