Impact of visual features and urban form on street vitality using explainable AI: a study of historic districts in Shanghai