Senators question tech leaders about election security