LA VUELTA AL MUNDO EN 80 DÍAS, el musical