The making of the Saint Petersburg Metro map