Acoustical remote sensing of ocean internal waves: progress and remaining challenges