European leaders agree 'flextension' missing October 31 Brexit deadline