Texas Senate Republican primary margin of victory?