Quark-matter cores in neutron stars