Miner: Dig Deep: Patch for new mines

This patch fixes a problem where new mines would still be the same. Each new mine is now randomly generated.