Modelo matemático torna eletrificação rural mais eficiente