Of "Porgy and Bess" and "Norma", which was produced first?