Jimmy Carter funeral service honors former president during national day of mourning