Katherine Johnson: Pioneering NASA mathematician