The theory of foliations of codimension greater than one