John Mangum Appointed General Director of Lyric Opera of Chicago