Senior officer, three policemen killed in attack in Egypt's Sinai