WIP: add documentation about fault-tolerance, consistency, etc