Isacon 2020 venue. Received in revised form December 17, 2020.