Compactness in first-order Godel logics