Discrete-Time Switched Models of Non-linear Fractional-Order Systems