Objectives, history, and principal achievements of the topside sounder and ISIS programs