An analytical model of the Doppler spectrum for peak blood velocity detection