B-mixing in the standard model and beyond: Lattice QCD