[2302.02922] Joint Edge-Model Sparse Learning is Provably Efficient for Graph Neural Networks