Which British musical comedy had music and lyrics written by David Heneker?