Fracking gets go-ahead, but how much shale gas do we actually have?