Tosca's Rome: The Play and the Opera in Historical Perspective