Israeli air strike kills top Hamas official in Gaza