Gravar-mail: Fuzzy Temporal Logic Based Railway Passenger Flow Forecast Model