Make sure to use iron tools. They gather materials much faster than stone, especially considering they take longer to break and you don't need to constantly run back to your toolbox to get new ones. If you're mining in the diamond levels (I like 14-16) you'll get way more iron than you use so it's definitely worth it.