'Pink Star' diamond sold for record $71.2 million