In the mining skill guide, in the leveling section, specifically level 60-85, it basically says mine coal if you want to make money, and mine iron if you want to level fast. However that is not the case. Considering the current iron price (192gp), and comparing it to the coal price (194gp)it is fairly obvious that not only would you level faster mining iron, but you would also make far more money.