An M/G/c queue in which the number of servers required is random