Heart rate turbulence denoising benchmarking using a lumped parameter model