Comparison of recent ocean tide models with gravimetric and GPS observations