Industrial mine and mining camp