The mental health effects of smart city development on elderly residents: A quasi-natural experiment from China's smart city pilot policy · Study