Why Ted Cruz is eligible to be president