Exact invertible hysteresis models based on play operator