Egypt army says 20 extremists killed in Sinai operations