Complete one-loop matching of the type-I seesaw model onto the Standard Model effective field theory