Text this: Dehazing algorithm for coal mining face dust and fog images based on a semi-supervised network