flotation of diamond in mantle melt at high pressure diamonds