Diaphragm pacing improves sleep in patients with amyotrophic lateral sclerosis