TRIZ and TOS, what do the theory of solving inventive problems and the theory of systems limitation have in common?