On group strategy-proof mechanisms for a many-to-one maching model