how was CoRoT-1b discovered%3F