This is why Lady Gaga’s Olympics Opening Ceremony performance was pre-recorded