Inclusions in diamond, mantle xenoliths, and UHP rocks