Modeling generation expansion in the context of a security of supply mechanism based on long-term auctions. Application to the Colombian case