Iran has held a funeral for the country's most influential defence figure, Ali Shamkhani.