Stephen King’s “The Shining” is now a genre-redefining opera