The NBS Josephson array voltage standard