Nondeterministic Bimachines and Rational Relations with Finite Codomain