A pilot model for the liberalization of the Spanish railway market based on combinatorial auctions