Efficient processing of water wave records via compressive sensing and joint time-frequency analysis via harmonic wavelets. (December 2017)