Text this: Linear and goal programming models for analysis of policy impacts on livelihoods in Miombo of Mozambique