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