The SEC lost approximately a year of text messages from former Chair Gary Gensler after an automated mobile-device policy and a factory reset by the agency’s Office of Information Technology