What Garbage Collection Actually Costs