Introduction to the Connes-Kasparov conjecture