Computable Bi-Embeddable Categoricity