QED and hyperfine splitting in the 2s1/2−2p3/2 X-ray transition in lithium-like Bi80+