JF-17 Thunder, not F-16, used to shoot down Indian aircraft: army