Committee on Planning a Global Library of the Mathematical Sciences