Amount of traffic and parking tickets that went unpaid in Washington, D.C., last year.