Did a copyist omit the descendant of Miamin/Miniamin in Nehemiah 12:17?