Semantics in Blockchain and Distributed Ledger Technologies