At NASA, 2019 Was the Year of the Woman, Yet Women Still Are a Big Minority at the Space Agency