Neutrino seesaw models at one-loop matching: discrimination by effective operators