The modeling of Great Salt Lake elevation time series based on ARFIMA with stable innovations