Israeli high court orders release of Gaza 'red lines' document