A computational study of the thermal opening of benzocyclobutenes to (E)- and (Z)-xylylenes