An empirical research on how geographic proximity and cognitive proximity work on the innovation performance of high-tech industrial cluster