In a scenario where you are working with a large dataset in Azure Databricks that contains a 'user_info' column with JSON objects storing user details such as first name, last name, and email, you need to extract these details for a report. Considering the requirements for efficiency, scalability, and the correct use of Spark SQL syntax, which of the following queries would you use to accurately extract the user's first name, last name, and email from the 'user_info' column using dot syntax? Choose the best option.