Spirit Airlines introduces automated bag check at DFW