Blockchain and distributed ledger technologies -- Legally binding smart contracts