A Data-Driven Gaussian Process Filter for Electrocardiogram Denoising