High-frequency Earth rotation variations deduced from altimetry-based ocean tides