Tausende Menschen haben in der iranischen Hauptstadt Teheran Abschied von dem bei einem israelischen Luftangriff getöteten Marinekommandeur der Revolutionsgarden, Alireza Tangsiri, genommen.