Katherine Johnson: o legado da matemática que levou o homem à lua