type b uncertainty definition vim 2012