how many children does Ted Cruz have?