The diffusion of scientific discoveries in government laboratories: The role of patents filed by government scientists