Hidden depths: cultural, political, and social commentary in eighteenth-century English comic opera libretti