Efficient processing of water wave records via compressive sensing and joint time-frequency analysis via harmonic wavelets