A Survey of Lottery Ticket Hypothesis