Обяснете разликите и съвместимостта на заключванията на ниво ред в PostgreSQL: SELECT ... FOR UPDATE, FOR NO KEY UPDATE, FOR SHARE и FOR KEY SHARE. Как се различават от оптимистичното заключване?