Можете объяснить проблему, связанную с изменением состояния в многопоточном программировании, известную как ABA?