Is my wife considered enrolled in an HDHP if she has medical coverage under my workplace HDHP plan?