Ultra-violet finiteness of supersymmetric non-linear sigma models