Militants attack police headquarters in northern Iraq, kill 9 policemen, officials say