Elastic service availability: utility framework and optimal provisioning