Discrete-Time Sliding-Mode-Based Differentiation