You have a DataFrame `df` with a column `event_data` containing JSON strings. How would you extract the nested field `event.details.timestamp` from these JSON strings into a new column named `event_timestamp` using Spark? Provide the code snippet. | Databricks Certified Data Engineer - Associate Quiz - LeetQuiz