Who was elected first president of the Republic of Texas?