Una forma geométrica de construir formulaciones sólidas de programación de enteros mixtos