how to mine obsidian faster in minecraft