Split sparse_vector into a separate header file.