A mathematical analysis of Pine Wilt disease with variable population size and optimal control strategies