Что такое CAS (Compare-And-Swap) в многопоточном программировании? Для чего он используется?