Elementos de Programação Linear: Condições de Otimalidade e Lema de Farkas