Как устроена транзакция под капотом в PostgreSQL? Что такое WAL?