Coconut Grove’s CocoWalk sells for $87.5 million