State-specific Brillouin–Wigner multireference coupled cluster study of the F2 molecule: assessment of the a posteriori size-extensivity correction