how does a coal washer work