Каким образом база данных использует WAL-журнал для восстановления прерванной транзакции?