Israel says it killed high-ranking Hamas commander in Gaza