Power Ledger uses blockchain technology to enable energy trading within buildings and across networks.