UPDATE: Ted Cruz Formally Announces Bid for the 2016 Presidential Race at Liberty University