ACID-тегі тұрақтылық не білдіреді және PostgreSQL-де WAL арқылы қалай жүзеге асырылады?