how garbage collection works