Division-ample sets and the Diophantine problem for rings of integers