HillTV's Buck Sexton speaks with Texas Sen. Ted Cruz