Teradyne merges AMR companies AutoGuide, MiR