Export profiling data as JSON.
This is a method of the Profiler class in the profiler module.
def export_json() -> str