Holocene development and human use of mangroves and limestone forest at an ancient hong lagoon in the Tràng An karst, Ninh Binh, Vietnam