Four Iraqi federal policemen killed in ISIS attack in Hawija: military