Three days of public mourning in Tehran was a political spectacle Iran's leaders wanted the world to see, writes the BBC's ...