Evolution of the Sungei Buloh–Kranji mangrove coast