Как устроен MVCC в Postgres? Что такое TXID, xmin/xmax, snapshot isolation? Почему `SELECT` не блокирует `UPDATE` и наоборот, и какой trade-off у этой модели?