In what year was Tito inaugurated as president