Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields