Resource theory of quantum non-Gaussianity and Wigner negativity