Indonesia, Philippines jointly patrol Celebes Sea to cut off militants