NBC: Texas state Sen. Angela Paxton files for divorce from husband, state AG Ken Paxton