Higher derivations of ore extensions