To fight identity theft, IRS proposes rules for truncating identifying numbers