Envelope Theorems for Arbitrary Choice Sets