Pure computable model theory