Hyperon mixing and universal many-body repulsion in neutron stars