Waduk Ria Rio Dikeruk, Cara Antisipasi Banjir Jakarta