The two sides of proximity in industrial clusters: The trade-off between process and product innovation