Theseus, Spica ed EnVision: Tre progetti candidati per la futura M5 mission di ESA