Creating New Smart Services in Public Libraries for the Future: Taking the Informationization Project of Beijing Library as an Example