Iran’s industrial export grows 13%