Decidability of the theory of modules over discrete valuation domains