Trade-off between urban green spaces and public service facilities in China's metropolises: Through the lens of population mobility under urbanization