In mining law and the usage of miners, is a wall of coal left between two mines