A simple Python script for converting very big XML files into JSON for import into MongoDB