A mathematical analysis of multiple-target SELEX