Finite capacity multi-server queue with general distributed arrivals and exponential service (GI/M/c/N)