Pumping and mixing of cerebrospinal fluid in the glymphatic system