Additional Enchanted Miner mod for Minecraft 1.12.2