Efficient frontiers for electricity procurement by an LDC with multiple purchase options