This uniquely British holiday tradition is a major economic engine for U.K. theater—and it's more international than you think.