3-methylbutanoyl-CoA dehydrogenase activity of Isovaleryl-CoA dehydrogenase [mitochondrial matrix]