Updated documentation: added high-level info about the three vectors in MVCC