book of mormon opening song