Effective Field Theory for Doubly Heavy Baryons and Lattice QCD