Which opera premiered first, Tosca or The Queen of Spades?