Efficient Convex Zone Merging in Parametric Timed Automata