Strange quark matter in neutron stars