Decidability of the theory of modules over commutative valuation domains