Каким образом механизм автоматического управления памятью определяет, что переменная больше не используется и может быть освобождена?