B0 - anti-B0 mixing beyond factorization