Heavy-quark effective field theory