Text this: Multi-microgrid marketized transaction models and algorithms based on smart contracts