A children’s picture book of “Hidden Figures” is coming