when did martial law in the philippines end