Напишите SQL запрос для базы данных с таблицами 'users' (id, name), 'orders' (id, user_id, amount, date) и 'products' (id, name). Задача: вывести имена пользователей и общую сумму их заказов за 2023 год, отсортировав по убыванию суммы трат. Включите только тех, кто потратил более 10 000.