The human central nervous system discharges carbon dioxide and lactic acid into the cerebrospinal fluid