Implementation of != operator