A geometric programming approach to the Van der Waerden conjecture on doubly stochastic matrices