Exact finite sample properties of double k-class estimators in simultaneous equations