Some characterizations of the exponential distribution based on the service time properties of an unreliable server