How is transaction isolation based on MVCC (Multi-Version Concurrency Control) implemented? Why does a database store multiple hidden versions of the same row?