Τι σημαίνει ανθεκτικότητα στο ACID και πώς υλοποιείται στο PostgreSQL μέσω του WAL;