An MINLP-Based Approach for the Design-for-Control of Resilient Water Supply Systems