Take the following JSON data representing a list of users and convert it into a CSV format. Use the keys as the header row and handle nested objects by flattening them into dot notation (e.g., address.city): [Insert JSON data here]