On minecraft 1.7.3, the best level to mine diamond is 12.5, as we can't get to decimals 12 is as close as you can come. Also, I find that there is more iron and coal in minecraft 1.8 than previous versions, and less of other minerals. I hope this helped.
Regards,
X