SEC says Inspector General David Kotz leaving agency