Books in “Opera Lab: Explorations in History, Technology, and Performance”