An optimization model for bus fleet replacement with budgetary and environmental constraints Artigo Académico