Text this: Joint Gradual Pruning and Knowledge Distillation for Identifying Graph Lottery Tickets.