Work on execution model.
trivial changes only
- typos and obvious grammar correction
- consistent standard orthography: block-chain, block chain -> blockchain, back-end -> backend
- minor reorg
- . deleted for multiplication in equations
- a few convoluted sentences simplified