A parameterization of the wavelength of tidal dunes