ٹانک اور خیبر میں سیکیورٹی فورسز کے آپریشنز، 13 دہشت گرد ہلاک، 5 اہلکار شہید