Papa John’s taps Varga to head marketing