On the determination of vertical profiles of ionospheric velocity from digital ionosonde measurements