Quark mixing, CKM unitarity