The making of the Tomsk Polytechnic University logo