Water molecules in single file: First-principles studies of one-dimensional water chains in zeolites