You're using Snowpark Python to transform data in a Snowflake table called 'employee_data' which includes columns , 'department, 'salary' , and 'performance_rating'. You need to identify the top 3 highest-paid employees within each department based on their salary, but only for departments where the average performance rating is above 4.0. Which of the following approaches using Snowpark efficiently combines window functions, filtering, and aggregations to achieve this?