The structure and proximity mechanism of formal innovation networks: Evidence from Shanghai high‐tech ITISAs | Synapse