Phenomenological applications of non-perturbative heavy quark effective theory