Decidability for the theory of modules over a Prüfer domain