Acoustic Doppler Current Profilers: Measuring Currents with Sound