how much does diamond mining cost