Text this: Forecasting migraine with time-series machine learning from mobile health data