In how many years, is the domestic credit provided to the private sector by money lenders in Colombia greater than the average domestic credit provided to the private sector by money lenders in Colombia taken over all years ?