Los pilares de la tierra, el musical