Jimmy Carter’s funeral brings together 5 current and former presidents to honor one of their own