Modeling and performance analysis of channel allocation policies for finite population cellular system