MVCC xmin / xmax Tuple Versions Snapshot Visibility UPDATE creates new tuple (not in-place modification) demonstrate with pageinspect