Что такое WAL (Write-Ahead Logging, журнал предзаписи) и как он обеспечивает надёжность транзакций?