On sectional genus of \(k\)-very ample line bundles on smooth surfaces with non-negative Kodaira dimension Classification of non-rigid families of K3 surfaces and a finiteness theorem of Arakelov type 