Efficient processing of water wave records via compressive sensing and joint time-frequency analysis via harmonic wavelets (Applied Ocean Research, 2017)