Models of finite-limit sketches in internal logic of a (pre)topos