Hamas military leader killed in Gaza air strike: Israeli army