Three troops martyred in IED explosion in Waziristan: ISPR