The Craig interpolation property in first-order Godel logic