Modules over Discrete Valuation Domains