Astronomers have found more than 4,000 planets circling stars other than our own. What do we know about these alien worlds and how have we managed to detect them?