Effective heavy quark theory