measure of non-compactness