Time-optimal control of fractional dynamic systems