DFT Studies on the Mechanism of the Iridium-Catalyzed Formal [4 + 1] Cycloaddition of Biphenylene with Alkenes