Effective Generation of Feasible Solutions for Integer Programming via Guided Diffusion