Iraq coordinated with Syrian government on anti-IS air strikes, says military