Ten Egyptian troops killed in Sinai anti-terror operation