Santos adds $5.7B to Colombian defense budget