Who did the provisional government of the republic of texas name as commander in chief of the texas force?