Israel’s four options for retaliating against Iran