Texas officials settled lawsuit over bungled search for illegal votes that stoked Trump’s false voter fraud claims