length of book of mormon musical