what were coal washeries used for