Регулярка: нормализовать телефоны KZ

Дан DataFrame df с колонкой phone — разные форматы:

+7 (777) 123-45-67
8 777 1234567
77771234567
+77771234567
8 (777) 123 45 67

Преврати все в нормализованный формат 7XXXXXXXXXX (11 цифр, начинается с 7).

Положи в result колонку phone_normalized.