OI-modules over Noetherian polynomial OI-algebras