Schema Inference for Massive JSON Datasets