Cross border attack on check post leave four troops martyred in Khyber Agency: ISPR