The World Health Organization 2030 goals for Taenia solium: Insights and perspectives from transmission dynamics modelling