Formal topology and domains