Measurements of ocean currents with SAR interferometry and HF radar