ACID-деги туруштуктүүлүк эмне жана ал PostgreSQLда WAL аркылуу кандай ишке ашырылат?