Diamond Deposits: Origin, Exploration, and History of Discovery