A robust Hodrick-Prescott filter for smoothing high-frequency time series