how many types of diamonds are in the world?