9 militants killed in counter-terrorism operation in Pakistan