The CARMENES search for exoplanets around M dwarfs