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