Man Group closes Pine Grove Asset Management acquisition