Strangeness in the cores of neutron stars