B0−B¯0 mixing: Matching to HQET at NNLO