It’s official; the Devil Wears Prada musical is happening