俄罗斯提供情报，埃及军警同时发起行动，打死至少40名极端分子