Polish defender set for Porto switch as Gunners work to secure Bayer Leverkusen agreement before summer deadline