Indonesia, Malaysia, Philippines launch joint naval patrols