Research subsidies, industry–university cooperation and innovation