Modelling and simulating spatial extremes by combining extreme value theory with generative adversarial networks