Texas Senate Democratic primary margin of victory?