Dorothy Johnson Vaughn, inspiration for the movie, Hidden Figures, was a brilliant mathematician