how does garbage collection work