Tidal modeling based on satellite altimetry observations of TOPEX/Poseidon, Jason1, Jason2, and Jason3 with high prediction capability: A case study of the Baltic Sea | Synapse