Le vecchie Case Rosse, ex-alloggi dei minatori