Real Number Computability and Domain Theory