Does Gibrat’s law hold for knowledge size of high-tech firms?