Computable structure theory on Banach spaces