Computable Banach Spaces via Domain Theory 1