NBC News: Gunman in Iran's capital fatally shoots 2 judges tied to 1988 mass executions