A methodology to acquire and formalise process knowledge for technology innovation: an industrial application