How did they come to be called "pivot tables"? Was it a standard use of "pivot" at the time? Like people would say "oh ya just pivot that table" or something?