is the book of mormon a musical