Funeral at the edge of a cliff: Israel bids farewell to David Ben-Gurion