Earmarks are supposed to be bad. But they don’t increase spending.