IRS leak of more than 405K taxpayers' info included Sen. Rick Scott