The computable Models of uncountably categorical Theories