Computable structure theory of continuous logic