Woodhead Mine, smelting, washing and refining houses