quercus petraea