When the EPA fines a company (e.g., $4.3Bn for VW), where exactly does that money go?