London's West End theatres enjoy a ninth successive year of ticket income growth, despite fall in the number of performances during the Olympic Games