insert a batch of keys if and only if none of the keys already exist