F-divisible modules and tilting modules over Pruefer domains