Secession-Proof Cost Allocations and Stable Group Structures in Models of Horizontal Differentiation