Kinematic synthesis and design of non-circular gears through a symbolic-numeric modelling approach