The Effect of a Closed Formulary in the Face of Real-Life Enrollment and Disenrollment Patterns