Formal versus informal knowledge networks in R&D: a case study using social network analysis | Synapse