Как MVCC обеспечивает изоляцию транзакций на уровне Read Committed и Repeatable Read? В чём разница между реализацией в PostgreSQL и MySQL (InnoDB)? Приведите пример кода, где это критично.