The mathematical theory of nonblocking switching networks