David Walliams strips for Gary Barlow on Royal Variety Performance