Heavy quarks and lattice QCD