Sublocales in formal topology