Text this: Human Mobility Datasets in the Complex Metro System of Shanghai