What is the name of the severe, sometimes disabling extension of premenstrual syndrome (PMS) classified as a depressive disorder in the DSM-5?