Colour superconductivity in compact stars