A pioneer in every aspect: who was Katherine Johnson?