AGREEMENT AND PLAN OF MERGER dated as of January 12, 2003 among SYNOPSYS, INC., NEON ACQUISITION CORPORATION and NUMERICAL TECHNOLOGIES, INC.