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