Iran says Amiri was double agent