Text this: Seasonal variations of sea level and the trends in Johor Bahru