Smartmatic programmer-turned-Texas election official tells his story