Shoreline changes along the coast of mainland China over the past four decades