Militants attacked a police post overnight, triggering an intense gun battle that killed nine police officers and wounded some others, says officials