B0−B¯0mixing at next-to-leading order