Guillermo del Toro to adapt PAN’S LABYRINTH as stage musical