Redstone ore mining is slow